Baire Category, Probabilistic Constructions and Convolution Squares
نویسنده
چکیده
منابع مشابه
Duality of Measure and Category in Infinite-dimensional Separable Hilbert Space
As usual, we equip an infinite-dimensional separable Hilbert space 2 by such nonzero σ -finite Borel measures which are invariant with respect to everywhere dense vector subspaces and study duality between such measures and Baire category. Section 1 contains constructions of nontrivialσ -finite Borel measures, which are defined in the infinite-dimensional separable Hilbert space 2 and are invar...
متن کاملBaire Category Quantifier in Monadic Second Order Logic
We consider Rabin’s Monadic Second Order logic (MSO) of the full binary tree extended with Harvey Friedman’s “for almost all” second-order quantifier (∀∗) with semantics given in terms of Baire Category. In Theorem 1 we prove that the new quantifier can be eliminated (MSO+∀∗ =MSO). We then apply this result to prove in Theorem 2 that the finite–SAT problem for the qualitative fragment of the pr...
متن کاملBaire Categories on Small Complexity Classes and Meager-Comeager Laws
We introduce two resource-bounded Baire category notions on small complexity classes such as P, QUASIPOLY, SUBEXP and PSPACE and on probabilistic classes such as BPP, which differ on how the corresponding finite extension strategies are computed. We give an alternative characterization of small sets via resource-bounded Banach-Mazur games. As an application of the first notion, we show that for...
متن کاملThe Baire Theory of Category
The Baire theory of category, which classifies sets into two distinct categories, is an important topic in the study of metric spaces. Many results in topology arise from category theory; in particular, the Baire categories are related to a topological property. Because the Baire Category Theorem involves nowhere dense sets in a complete metric space, this paper first develops the concepts of n...
متن کاملGroupoid Representations and Modules over the Convolution Algebras
The classical Serre-Swan’s theorem defines a bijective correspondence between vector bundles and finitely generated projective modules over the algebra of continuous functions on some compact Hausdorff topological space. We extend these results to obtain a correspondence between the category of representations of an étale Lie groupoid and the category of modules over its convolution algebra tha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009